perm filename NSF.84[S84,JMC] blob
sn#753077 filedate 1984-04-29 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00012 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .device XGP
C00005 00003 .onecol BEGIN "TITLE PAGE"
C00006 00004 .BEGIN "COVER PAGE"
C00009 00005 .EVERY HEADING(%3{SECNAME},{SSNAME},{PAGE!}) page←0 twocol cb Abstract
C00020 00006 Proposed Research
C00025 00007
C00030 00008 Mathematical problems of non-monotonic reasoning
C00033 00009 .cb Organization of the work
C00035 00010 .cb Personnel
C00045 00011 .onecol cb Budget
C00055 00012 .twocol bib
C00060 ENDMK
C⊗;
.device XGP;
.turn on "α%";
.font 1 "baxl30"; font 2 "baxm30"; font 3 "baxb30"; font 4 "baxs30";
.FONT B "zero30";
. << output a ligature & restore fonts >>
.recursive macro lig(A); ⊂start f_f←thisfont; ("%*%4αA%*%"&f_f) end⊃;
.
.AT "ff" ⊂ IF THISFONT=1 THEN lig(@) ELSE if thisfont=2 then lig(P)
. else if thisfont=3 then lig("`") else "fαf" ⊃;
.AT "ffi" ⊂ IF THISFONT=1 THEN lig(A) ELSE if thisfont=2 then lig(Q)
. else if thisfont=3 then lig(a) else "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT=1 THEN lig(B) ELSE if thisfont=2 then lig(R)
. else if thisfont=3 then lig("b") else "fαfαl" ⊃;
.AT "fi" ⊂ IF THISFONT=1 THEN lig(C) ELSE if thisfont=2 then lig(S)
. else if thisfont=3 then lig(c) else "fαi" ⊃;
.AT "fl" ⊂ IF THISFONT=1 THEN lig(D) ELSE if thisfont=2 then lig(T)
. else if thisfont=3 then lig(d) else "fαl" ⊃;
.AT "--" ⊂ IF THISFONT=1 THEN lig(E) ELSE if thisfont=2 then lig(U)
. else if thisfont=3 then lig(e) else "α-α-" ⊃;
.font 5 "gacs25";
.font 6 "clar30"
.font 9 "sail25"
.sides←1;
.require "twocol.pub[sub,sys]" source_file;
.MACRO YON(LBL) ⊂ "Section "; SUB2! LBL ⊃;
.MACRO BC ⊂ BEGIN PREFACE 0; INDENT 1,4; CRBREAK nojust ⊃
.MACRO BS ⊂ BEGIN PREFACE 0; INDENT 1,4; nojust ⊃
.MACRO SUB(IND) ⊂ INDENT 0,IND; TABS IND+1;⊃
.MACRO IB ⊂ turn on "%";
.AT """" ⊂ (IF THISFONT=1 THEN "%3" ELSE "%1"); ⊃
.AT "<" ⊂ "%2" ⊃; AT ">" ⊂ "%1" ⊃;
. ⊃
.MACRO BIB ⊂ CB(References);
. BEGIN INDENT 0,3; NOJUST; IB;
. AT "AIM-" ⊂ "Stanford AI Memo AαIαMα-" ⊃;
. COUNT exref TO 200
. AT "⊗" ⊂ IF LINES<3 THEN NEXT COLUMN; NEXT EXREF; ("["&EXREF&"] ") ⊃
. ⊃
.
.COUNT ITEM
.AT "#" ⊂NEXT ITEM;(ITEM!);⊃;
.SECNAME←"";
.portion some; place text;
.every heading();
.onecol; BEGIN "TITLE PAGE"
.SKIP TO COLUMN 1;
.CENTER;
.PREFACE 0;
.SELECT 1;
Research Proposal Submitted to
.SKIP 2;
%3THE NATIONAL SCIENCE FOUNDATION
.SKIP 2;
%1for
.SKIP 2;
%3Basic Research in Artificial Intelligence
.SKIP 2;
%1by
.SKIP 2;
John McCarthy
Professor of Computer Science
Principal Investigator
.SKIP 8;
May 1984
.SKIP 5;
Computer Science Department
.SKIP 1;
%3STANFORD UNIVERSITY
.SKIP 1;
%1Stanford, California
.END "TITLE PAGE";
.BEGIN "COVER PAGE"
.SKIP TO COLUMN 1;
.NOFILL;
.PREFACE 0;
.INDENT 0,0,0;
.SELECT 1;
.TURN ON "\↓_";
.AT "≤≤" TXT "≥" ⊂ }↓_%9TXT%*_↓{ ⊃;
. BEGIN "COVER PAGE TITLE"
. CENTER;
. SELECT 6;
Research Proposal Submitted to the National Science Foundation
. END "COVER PAGE TITLE";
.SKIP 5;
.SELECT 1;
Proposed Amount ≤≤$407,532≥. Proposed Starting Date ≤≤1 July 1984≥. Proposed Duration ≤≤3 years≥.
.SKIP 3;
Title ≤≤Basic Research in Artificial Intelligence≥
.TABS 40;
.SKIP 3;
Principal Investigator ≤≤John McCarthy≥\Submitting Institution ≤≤Stanford University≥
Soc. Sec. No. ≤≤558-30-4793≥\Department ≤≤ Computer Science ≥
\Address ≤≤Stanford, California 94305≥
.SKIP 3;
Make grant to ≤≤Board of Trustees of the Leland Stanford Junior University≥
.SKIP 3;
Endorsements:
.TABS 10,34,57;
.SKIP 1;
\Principal Investigator\Department Head\Institutional Admin. Official
.TABS 10,34,58;
.PREFACE 1;
Name\≤≤John McCarthy ≥\≤≤Gene Golub≥\≤≤ ≥
.SKIP 1;
Signature\≤≤ ≥\≤≤ ≥\≤≤ ≥
Title\≤≤Professor ≥\≤≤Professor & Chairman ≥\≤≤ ≥
Telephone\≤≤(415) 497-4430 ≥\≤≤(415) 497-9745 ≥\≤≤ ≥
Date\≤≤ ≥\≤≤ ≥\≤≤ ≥
.END "COVER PAGE";
.EVERY HEADING(%3{SECNAME},{SSNAME},{PAGE!}); page←0; twocol; cb Abstract
.fill adjust
This is a request for a grant of $407,532
for continued support of basic research in artificial intelligence.
This is an accomplishment-based renewal proposal.
Four papers, one report, one joint paper accepted for
publication and one paper submitted for
publication are the basis for this renewal.
The papers are:
%3McCarthy, John (1979)%1:
"Ascribing Mental Qualities to Machines" in %2Philosophical Perspectives
in Artificial Intelligence%1, Ringle, Martin (ed.), Harvester Press, July 1979.
.<<aim 326, MENTAL[F76,JMC]>>
Computer programs vary much more than people in the extent and nature
of the intentional properties that may be usefully ascribed to them.
This paper outlines criteria for ascribing specific mental qualities,
e.g specific beliefs and goals, to computer programs and machines in
general. A popular version appeared in %2Psychology Today%1, December
1983. John Perry expressed interest in including one or the other
in his forthcoming %2Oxford Readings in Philosophy%1 volume.
%3McCarthy, John (1979)%1:
"First Order Theories of Individual Concepts and Propositions",
in Michie, Donald (ed.) %2Machine Intelligence 9%1, (University of
Edinburgh Press, Edinburgh).
.<<aim 325,concep[e76,jmc]>>
This paper presents a variety of formalisms for expressing facts
about knowledge and belief. What was new was sticking to first
order logic but keeping the objects of belief, etc. as abstract
objects rather than making them sentences. With the aid of
notions of standard concepts certain puzzling sentences discussed
in the philosophical literature can be neatly expressed in a form
that permits derivation of their consequences. However, the
motivation for the work is AI not philosophy.
%3McCarthy, John (1980)%1:
"Circumscription - A Form of Non-Monotonic Reasoning", %2Artificial
Intelligence%1, Volume 13, Numbers 1,2, April.
.<<aim 334, circum.new[s79,jmc]>>
This is the most important of the six papers and reports and the
one that has received the most attention from other scientists.
The need for non-monotonic reasoning in AI and in database theory
became apparent in the middle 70s and several systems were proposed.
The issue of %2Artificial Intelligence%1 in which this paper appeared
contains two other proposals. I believe that circumscription is
the most successful of them. Further papers on circumscription were
written by Raymond Reiter of the University of British Columbia,
Jack Minker of the University of Maryland and Vladimir Lifschitz of
the University of Texas at El Paso. I have a new paper on circumscription,
but there is one problem I would like to solve before publishing it.
%3McCarthy, John (1982)%1: "Common Business Communication Language", in
%2Textverarbeitung und B%B:%*urosysteme%1, Albert Endres and J%B:%*urgen Reetz, eds.
R. Oldenbourg Verlag, Munich and Vienna 1982.
Since much office work consists in communicating with other organizations,
increasing office productivity requires that computers belonging to different
organizations communicate with one another about business matters.
The paradigm case involves a cost analysis program getting bids for
components from the computers belonging to potential suppliers. The
idea started as a simple proposal for standardization, but it turned
up important unsolved problems in the semantics and pragmatics of
natural language. Indeed it led to the conclusion that putting
natural language front ends on existing programs is the wrong problem.
The point isn't to express in natural language what we already express
in some kind of computerese, but to express formally concepts, facts
and requests that have heretofore only been expressable in natural
language.
%3Gabriel, Richard P. and John McCarthy (1984)%1: "Queue-based
Multi-processing Lisp", accepted for publication in the proceedings
of the 1984 Lisp Conference to be held in Austin in August.
Getting greater performance from computers requires parallelism,
and LISP has traditionally been regarded as a somewhat recalcitrant
language from this point of view. The paper contains
a few constructs to be added to LISP to make efficient use of
parallel processors. The original versions of the ideas are mine,
but their subsequent development and all the implementation work
are my co-author's.
%3McCarthy, John (1982)%1: %2Coloring Maps and the Kowalski Doctrine%1,
Report No. STAN-CS-82-903, Computer Science Department, Stanford University,
Stanford, CA 94305.
Robert Kowalski, who, along with Alain Colmerauer, originated logic
programming, expressed the doctrine "Algorithm equals logic plus
control". Several authors (including Keith Clark, Luis Pereira and
Herv%B`%*e Gallaire),
most prominently in connection with
logic programming, have proposed formalisms in which logic and
control can be expressed separately. The advantage is this. The
logic of an algorithm can often be expressed in a simple way that
is easy to understand and in terms of which, the algorithm can
be proved to give the desired results. However, efficient execution
often requires complicated control. It seemed to me that the
control schemes that have been proposed are very limited, and
that the problem of coloring maps presents some interesting
problems of separating logic and control. Both the postponement
control and the Kempe control discussed in the article have more
general applications. After the referenced report was written,
further work done during a visit to Kowalski at Imperial College
resulted in a notion of "introspective programming" in which
a Prolog program can look at its own goal and search trees.
A small "introspective Prolog interpreter" was implemented by
Peter Szeredi of the Hungarian Academy of Sciences, and publication
of the paper awaits incorporation of the idea of introspection
and reference to Szeredi's (unpublished) work.
%3McCarthy, John (1984)%1:
"Applications of Circumscription to Formalizing Common Sense Knowledge".
This is has been submitted to the 1984 AAAI
conference on non-monotonic reasoning, which will not have a proceedings
and is being submitted for publication to %2Artificial Intelligence%1.
Abstract: We present a new and more symmetric version of the
circumscription method of non-monotonic reasoning (McCarthy 1980) and some
applications to formalizing common sense knowledge. The applications in
this paper are based on minimizing the abnormality of the different
aspects of a situation. Included are non-monotonic treatments of ⊗is-a
hierarchies, the unique names hypothesis, and the frame problem.
I mistakenly delayed submitting this proposal until this paper was
completed. Naturally it took longer than expected. However, it contains
the current state of applying circumscription to formalizing common
sense knowledge and reasoning.
.skip 2
Proposed Research
As the submitted papers show, I have been active in a variety
of fields of computer science and will continue to work on ideas
that occur to me.
However, the main long term goal of my research has always been to
find ways of formalizing common sense knowledge and reasoning ability so
that a computer program can have the common sense knowledge and the common
sense ability to achieve the goals we give it.
We distinguish common sense knowledge and common sense ability.
Common sense knowledge includes facts about how events occur in time,
about the effects of actions by the knower and others, facts about the
relation between phenomena in the world and what a person or program with
sensory capabilities can learn about it, facts about physical objects and
how they are perceived, and about their properties and their relations to
one another. An example is the fact that eggs contain a yolk and a white
and a shell, how to recognize an egg, the effects of hard boiling them and
the effects of dropping them. Common sense ability involves the use of
common sense knowledge and the observation of the world to decide what to
do to achieve one's goals. The "common" in "common sense" refers to the
fact that a large amount of this knowledge and ability is common to all
humans. Not much of it is understood well enough to include it in
computer programs.
Expressing common sense knowledge in languages of mathematical
logic and using controlled deduction as a way of deciding what to
do was first proposed in (McCarthy 1960). This proved very difficult
and progress was slow. Many people gave up on using logic in AI
and proposed other formalisms, but in the main they proved to be
equivalent to subsets of logical languages, and much attention in
AI has returned to logic.
A major advance in the use of logical languages for AI was
the notion of formalized non-monotonic reasoning which arose in
the middle 1970s. My proposal was called circumscription
(McCarthy 1980). A preliminary version under the name %2minimal
inference%1 was included in (McCarthy 1977).
The idea of non-monotonic reasoning and the circumscription
approach to formalizing it seem to have wider applicability than
was previously envisioned. We plan to continue our previous
investigations of formalizing common sense knowledge using circumscription
as a tool. However, there seem to be many new applications in AI
but also in databases, programming languages and even in analytic
philosophy. Our chief objective in the next three
years will be to explore these new possibilities. Here are some of them.
Formalization of common sense
For a long time, the lack of formalized non-monotonic
reasoning has impeded the formal expression of
common sense knowledge and writing programs that carry out common
sense reasoning. This situation has been somewhat relieved by
the advent of circumscription and other non-monotonic reasoning
systems. In particular the circumscription formulation of the
frame problem of (McCarthy 1984) seems to me to be satisfactory.
Therefore, it seems to be time to extend the formalization
of common sense knowledge to some new domains. I have the following
in mind, but the subject is now exciting increased interest among
graduate students, so it may be possible to do more.
1. The blocks world with incomplete expression of the results
of action. All formalizations of the blocks world that I know about,
including those in the literature on planning, use complete rules.
Namely, the result of an action is fully described. However, common
sense knowledge of the effects of action is often incomplete in
many respects. For example, we know that when block A is placed
on block B, A will be on B in the resulting situation, but neither our
verbal expression of such rules nor our informal knowledge formulates
where on B, block A will be. Rather than devise a language for
expressing the precise location of one block on another we need
to formalize the common sense knowledge about this that people
and robots with similar opportunities to observe can actually have.
2. A problem in which a person achieves a goal by asking
another person for help, knowing that the other person is willing
and can help in the manner desired. This example admits many
non-monotonic shortcuts, which are often important in practice.
For example, it can be taken as standard that a person knows
what he can do. The contrary is an abnormality. We propose
to formalize the common sense knowledge of how to achieve
goals that require the co-operation of other agents.
3. Perhaps the most obvious almost untouched problem for
formalization of common sense knowledge concerns concurrent processes.
The formalizations of concurrent processes used in studying parallel
computation are mostly irrelevant, because they concern processes
which the theorist has the privilege of designing. The designs
make much of the problem of synchronization, but this is little
considered in common sense reasoning. Thus when contemplating
walking down a corridor a person doesn't plan in advance how
he and a person going the other way are to avoid permanently
blocking each other.
4. We propose to continue our previous work in formalizing
knowledge about people's knowledge. Some of it is in
(McCarthy, Sato, Igarashi and Hayashi 1977), but most of it,
some quite old, is still unpublished. Recently Ron Fagin,
Joe Halpern, Moshe Vardi of IBM San Jose and Yoram Moses of
my group have begun new work in the subject that makes
further pursuit of my old ideas more promising.
.skip 1
Mathematical problems of non-monotonic reasoning
Circumscription presents many problems of a mathematical
logical nature whose solution will be important for applications.
Here are some on which I propose to work. An invited address to
a meeting of the Association for Symbolic Logic in January 1985
will provide an opportunity to present a few results but mostly
to attract the attention of professional mathematical logicians
to this important new domain.
1. When is the second order formula of circumscription
equivalent to a first order formula? This is true of all but
one of the examples of (McCarthy 1980), and some general partial
results have been obtained by me and by Vladimir Lifschitz of
the University of Texas at El Paso.
2. Can Reiter's (1980) "unique names hypothesis" be expressed
non-monotonically by a second order formula? It can be done
with circumscription provided that names are the only objects
in the theory, but this seems undesirable. There seems to be
a relation between this problem and the notion of a figure being
in general position.
3. In many cases circumscription formulas "compile" rather
directly into executable Prolog programs. It is important to know
when this is the case and when the implementation of circumscription
requires different mechanisms.
4. In what cases is the question of whether a sentence
is implied by the circumscription of a set of sentences decidable?
It is true in the propositional case and when all the predicates
are monadic. This suggests exploring analogs of the decidable cases
of the first order logic decision problem. However, the propositional
case already corresponds to a tree of propositional satisfaction
problems, so circumscriptive inferability is likely to be harder
than ordinary deducibility.
.cb Organization of the work
The work will be done by John McCarthy and interested graduate
students.
Graduate students help with implementations
and pursue thesis research in artificial intelligence (concentrating
on epistemological problems) and in mathematical theory of computation.
The group shares interests with the separately supported groups in
mathematical theory of computation and theorem proving.
.cb Facilities
The project will be part of the Stanford University Computer
Science Department and will use its computer facilities.
.cb Personnel
.cb Biography of John McCarthy
.begin nojust; indent 0,4;
BORN: September 4, 1927 in Boston, Massachusetts
EDUCATION:
.preface 0; crbreak;
B.S. (Mathematics) California Institute of Technology, 1948.
Ph.D. (Mathematics) Princeton University, 1951.
.skip
HONORS AND SOCIETIES:
American Mathematical Society,
Association for Computing Machinery,
Sigma Xi,
Sloan Fellow in Physical Science (1957-59),
ACM National Lecturer (1961),
Sigma Xi National Lecturer (1978),
American Association for Artificial Intelligence
IEEE,
A.M. Turing Award from Association for Computing Machinery (1971).
President, American Association for Artificial Intelligence (1983-84).
.skip
PROFESSIONAL EXPERIENCE:
Proctor Fellow, Princeton University (1950-51),
Higgins Research Instructor in Mathematics, Princeton University (1951-53),
Acting Assistant Professor of Mathematics, Stanford University (1953-55),
Assistant Professor of Mathematics, Dartmouth College (1955-58),
Assistant Professor of Communication Science, M.I.T. (1958-61),
Associate Professor of Communication Science, M.I.T. (1961-62),
Professor of Computer Science Stanford University (1962 - present).
.skip
PROFESSIONAL RESPONSIBILITIES AND SCIENTIFIC INTERESTS:
.crspace;
With Marvin Minsky organized and directed the Artificial Intelligence
Project at M.I.T.
Organized and directed Stanford Artificial Intelligence Laboratory.
Originated the LISP programming system for computing with
symbolic expressions, participated in the development
of the ALGOL 58 and the ALGOL 60 languages.
Present scientific work is in the fields of Artificial
Intelligence, Computation with Symbolic Expressions,
Mathematical Theory of Computation, Time-Sharing computer
systems.
SELECTED PUBLICATIONS:
.count ref inline; at "⊗" ⊂next ref; ("["&ref&"] ");⊃
. at "<" ⊂"%2"⊃; at ">" ⊂"%1"⊃;
⊗"Towards a Mathematical Theory of Computation", in
<Proc. IFIP Congress 62>, North-Holland, Amsterdam, 1963.
⊗"A Basis for a Mathematical Theory of Computation",
in P. Braffort and D. Hershberg (eds.), <Computer Programming and
Formal Systems>, North-Holland, Amsterdam, 1963.
⊗(with S. Boilen, E. Fredkin, J.C.R. Licklider)
"A Time-Sharing Debugging System for a Small Computer", <Proc.
AFIPS Conf.> (SJCC), Vol. 23, 1963.
⊗(with F. Corbato, M. Daggett) "The Linking
Segment Subprogram Language and Linking Loader Programming
Languages", <Comm. ACM>, July 1963.
⊗"Problems in the Theory of Computation", <Proc. IFIP
Congress 1965>.
⊗"Time-Sharing Computer Systems", in W. Orr (ed.),
<Conversational Computers>, Wiley, 1966.
⊗"A Formal Description of a Subset of Algol", in T.
Steele (ed.), <Formal Language Description Languages for Computer
Programming>, North-Holland, Amsterdam, 1966.
⊗"Information", <Scientific American>, September
1966.
⊗"Computer Control of a Hand and Eye", in <Proc.
Third All-Union Conference on Automatic Control (Technical
Cybernetics)>, Nauka, Moscow, 1967 (Russian).
⊗(with D. Brian, G. Feldman, and J. Allen) "THOR -- A
Display Based Time-Sharing System", <Proc. AFIPS Conf.> (FJCC), Vol.
30, Thompson, Washington, D.C., 1967.
⊗(with James Painter) "Correctness of a Compiler for
Arithmetic Expressions", Amer. Math. Soc., <Proc. Symposia in
Applied Math., Math. Aspects of Computer Science>, New York, 1967.
⊗"Programs with Common Sense", in Marvin Minsky
(ed.), <Semantic Information Processing>, MIT Press, Cambridge, 1968.
⊗(with Lester Earnest, D. Raj. Reddy, Pierre Vicens) "A
Computer with Hands, Eyes, and Ears", <Proc. AFIPS Conf.> (FJCC),
1968.
⊗(with Patrick Hayes) "Some Philosophical Problems from the
Standpoint of Artificial Intelligence", in Donald Michie (ed.),
<Machine Intelligence 4>, American Elsevier, New York, 1969.
⊗"The Home Information Terminal", <Man and Computer,
Proc. Int. Conf., Bordeaux, 1970>, S. Karger, New York, 1972.
⊗"Mechanical Servants for Mankind," in <Britannica Yearbook of
Science and the Future>, 1973.
⊗Book Review: "Artificial Intelligence: A General Survey" by Sir James
Lighthill, in <Artificial Intelligence, Vol. 5, No. 3>, Fall 1974.
⊗"Modeling Our Minds" in <Science Year 1975>, The World Book Science
Annual, Field Enterprises Educational Corporation, Chicago, 1974.
⊗"The Home Information Terminal," invited presentation, AAAS Annual
Meeting, Feb. 18-24, 1976, Boston.
⊗"An Unreasonable Book," a review of <Computer Power and Human Reason>,
by Joseph Weizenbaum (W.H. Freeman and Co., San Francisco, 1976)
in SIGART Newsletter #58, June 1976, also in <Creative Computing>,
Chestnut Hill, Massachusetts, 1976 and in "Three Reviews of
J. Weizenbaum's <Computer Power and Human Reason>, (with B. Buchanan
and J. Lederberg), Stanford Artificial Intelligence Laboratory
Memo 291, Computer Science Department, Stanford, November 1976.
⊗Review: <Computer Power and Human Reason>, by Joseph Weizenbaum (W.H.
Freeman and Co., San Francisco, 1976) in Physics Today, 1977.
⊗"The Home Information Terminal" to appear in The Grolier Encyclopedia,
1977, also to appear in <The International YearBook and Statemen's Who's
Who>, Surrey, England, 1977.
⊗"Dialnet and Home Computers" (with Les Earnest), <Proceedings of the
First West Coast Computer Faire and Conference>, San Francisco, April 1977.
⊗"On The Model Theory of Knowledge" (with M. Sato, S. Igarashi, and
T. Hayashi), <Proceedings of the Fifth International
Joint Conference on Artificial Intelligence>, M.I.T, Cambridge, 1977.
⊗"Another SAMEFRINGE", in SIGART Newsletter No. 61, February 1977.
⊗"Ascribing Mental Qualities to Machines" to appear in <Essays in Philosophy
and Computer Technology>, National Symposium for Philosophy and Computer
Technology, New York, 1977.
⊗"Epistemological Problems of Artificial Intelligence", <Proceedings of the Fifth
International Joint Conference on Artificial Intelligence>, M.I.T., Cambridge, 1977.
(Additional McCarthy papers are listed in the references at the end of
this proposal).
.end
.onecol; cb Budget
.begin "budget" verbatim select 5;
PERIOD COVERED: 3 Years: 1 June 1978 through 31 December 1981.
Dates: 6/1/78-5/31/79 6/1/79-5/31/80 6/1/80-5/31/81
Person- Person- Person-
A. SALARIES AND WAGES months months months
1. Senior Personnel:
a. John McCarthy, 24,257. 6.5 27,007. 6.5 29,168. 6.5
Professor
Summer 75%(2 mos.)
Acad. Yr. 50%
2. Other Personnel
a. Student Research
Assistants
(50% Acad.Yr.;
100% Summer)
(1) 7,155. 7.5 7,704. 7.5 8,320. 7.5
(2) 7,155. 7.5 7,704. 7.5 8,320. 7.5
b. Support Personnel
(1) Sec'y (20%) 2,092. 2.4 2,259. 2.4 2,440. 2.4
(2) Sys.Prog.(15%) 2,937. 1.8 3,172. 1.8 3,426. 1.8
_______ _______ _______
Total Salaries & Wages 43,596. 47,846. 51,674.
B. STAFF BENEFITS
9/1/77-8/31/78:19.0%
9/1/78-8/31/79:20.3%
9/1/79-8/31/80;21.6%
9/1/80-8/31/81;22.4%
8,708. 10,179. 11,472.
_______ ________ ________
C. TOTAL SALARIES, WAGES,
AND STAFF BENEFITS 52,304. 58,025. 63,146.
.next page
D. PERMANENT EQUIPMENT 5,000 -- --
(2 Datamedia terminals)
E. EXPENDABLE SUPPLIES 1,632. 1,730. 1,834.
& EQUIPMENT(e.g.,copying,
office supplies, postage,
freight, consulting,
honoraria)
F. TRAVEL 1,840. 1,950. 2,067.
All Domestic Travel
G. PUBLICATIONS 1,000. 1,060. 1,124.
H. OTHER COSTS 6,640. 7,038. 7,460.
1.Communication 1,600.
(telephone)
2. Computer 5,040.
Equip. Maint.
_______ ________ _______
I. TOTAL COSTS 68,416. 69,803. 75,631.
(A through H)
J. INDIRECT COSTS:58% of 36,781. 40,486. 43,866.
A through H, less D. ________ ________ ________
K. TOTAL COSTS 105,197. 110,289. 119,497.
L. THREE YEAR TOTAL 334,983.
.end "budget"
.twocol; bib;
Additional references beyond those listed in the accomplishments section.
%3Lifschitz, Vladimir%1(1983): unpublished note on circumscription
%3McCarthy, John (1977)%1:
"Epistemological Problems of Artificial Intelligence", %2Proceedings
of the Fifth International Joint Conference on Artificial
Intelligence%1, M.I.T., Cambridge, Mass.
%3McCarthy, John (1983)%1: "AI Needs more Emphasis on Basic Research", %2AI
Magazine%1, Volume 4, Number 4, Winter 1983.
%3McCarthy, John (1983)%1: "The Little Thoughts of Thinking Machines",
%2Psychology Today%1, Volume 17, Number 12, December 1983.
%3Reiter, Raymond (19xx)%1: (concerning unique names)
%3Reiter, Raymond (1982)%1: "Circumscription Implies Predicate Completion
(Sometimes)", Proceedings of the National Conference on Artificial
Intelligence, AAAI-82.
.end